|
数学、特に函数解析学における有界型空間(ゆうかいけいくうかん、ゆうかいがたくうかん、; ボルノロジー空間)は、集合や函数の有界性の問題をある意味で考えるのに最低限必要な構造というものを抽出した空間のクラスである(これは位相空間が連続性の問題を考えるのに最低限必要な構造を抽出したものであったことと同様の考え方である)。有界型空間を初めて考えたのはマッキーで、命名はブルバキによる(フランス語で有界を意味する borné (と Topology) に由来)。 == 有界集合系 == 任意の集合 ''X'' について、''X'' 上の有界集合系あるいは有界型 (''bornology'') とは、''X'' の部分集合族 B で、 * B は ''X'' を被覆する: * B は包含関係に関して閉じている: ''A'' ∈ B かつ ''A′'' ⊆ ''A'', ならば ''A′'' ∈ B; * B は有限合併に関して閉じている: ''B''1, ..., ''B''''n'' ∈ B, ならば を満足するものをいう。このとき集合族 B の各元は有界集合と呼ばれ、対 (''X'', B) を有界型付き集合 (''bornological set'') と言う。 有界集合系 B の有界基あるいは有界集合の基本系 (''base of the bornology'') とは B の部分集合 B0 で B の各元が B0 の元の部分集合となっているときに言う。 抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「有界型空間」の詳細全文を読む 英語版ウィキペディアに対照対訳語「 Bornological space 」があります。 スポンサード リンク
|